Merge branch 'wip/exalm/polish' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Wed, 6 May 2020 21:47:47 +0000 (21:47 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Wed, 6 May 2020 21:47:47 +0000 (21:47 +0000)
Random polish

See merge request GNOME/gtk!1850


Trivial merge